Projectivity, Continuity, and Adjointness: Quantales, Q-posets, and Q-modules
نویسنده
چکیده
In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It is then show that a morphism Q // A of commutative quantales is coexponentiable if and only if the corresponding Q-module is projective, and hence, satisfies these equivalent conditions.
منابع مشابه
Equality in Linear Logic
1 Quantales In this section we introduce the basic deenitions and results of the theory of quantales (a good reference is Ros]). Quantales were introduced by Mulvey ((Mul]) as an algebraic tool for studying representations of non-commutative C-algebras. Informally, a quantale is a complete lattice Q equipped with a product distributive over arbitrary sup's. The importance of quantales for Linea...
متن کاملTopological Relational Quantales
We introduce and present results about a class of quantales, the topological relational quantales, that can be associated with tuples (X,R) such that X is a topological space and R is a lower-semicontinuous equivalence relation on X (see Definition 1 below). Our motivating case studies and examples of topological relational quantales include concrete quantales such as the relational quantales o...
متن کاملOn character projectivity Of Banach modules
Let $A$ be a Banach algebra, $\Omega(A)$ be the character space of $A$ and $\alpha\in\Omega(A)$. In this paper, we examine the characteristics of $\alpha$-projective (injective) $A$-modules and demonstrate that these character-based $A$-modules also satisfy well-known classical homological properties on Banach $A$-modules.
متن کاملQuantale algebras as a generalization of lattice-valued frames
Recently, I. Stubbe constructed an isomorphism between the categories of right Q-modules and cocomplete skeletal Q-categories for a given unital quantale Q. Employing his results, we obtain an isomorphism between the categories of Q-algebras and Q-quantales, where Q is additionally assumed to be commutative. As a consequence, we provide a common framework for two concepts of lattice-valued fram...
متن کاملOn Domain Theory over Girard Quantales
This paper is about a generalization of Scott’s domain theory in such a way that its definitions and theorems become meaningful in quasimetric spaces. The generalization is achieved by a change of logic: the fundamental concepts of original domain theory (order, way-below relation, Scott-open sets, continuous maps, etc.) are interpreted as predicates that are valued in an arbitrary completely d...
متن کامل